#include <iostream>
using namespace std;
int main()
{
    int A, B, C;
    cin >> A >> B >> C;
    int fuck_you = 0.2 * A + 0.3 * B + 0.5 * C;
    printf("%d\n", fuck_you);
    return 0;
}